Simpler Self-reduction Algorithm for Matroid Path-width

نویسنده

  • Petr Hlinený
چکیده

Path-width of matroids naturally generalizes better known path-width of graphs, and is NP-hard by a reduction from the graph case. While the term matroid path-width was formally introduced by Geelen–Gerards–Whittle [JCTB 2006] in pure matroid theory, it was soon recognized by Kashyap [SIDMA 2008] that it is the same concept as long-studied so called trellis complexity in coding theory, later named trellis-width, and hence it is an interesting notion also from the algorithmic perspective. It follows from a result of Hliněný [JCTB 2006], that the problem to test whether a given matroid over a finite field has path-width at most t is fixed-parameter tractable in t, but this result does not give any clue about a corresponding path-decomposition. The first constructive, though rather complicated, FPT algorithm for path-width of matroids over a finite field has been given just recently by Jeong–Kim–Oum [SODA 2016]. Here we give a much simpler self-reduction constructive FPT algorithm for the same problem. Precisely, we design an efficient routine that constructs an optimal path-decomposition of a matroid (even an abstract one, given by a rank oracle) using a “black-box” subroutine for testing whether the path-width of a matroid is at most t. In connection with the aforementioned decision algorithm for path-width of matroids over a finite field we then get the desired constructive FPT algorithm. 1998 ACM Subject Classification (2012) Theory of computation → Fixed parameter tractability; Mathematics of computing → Matroids, Coding theory

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The "Art of Trellis Decoding" Is Fixed-Parameter Tractable

Given n subspaces of a finite-dimensional vector space over a fixed finite field F, we wish to find a linear layout V1, V2, . . . , Vn of the subspaces such that dim((V1+V2+· · ·+Vi)∩(Vi+1+· · ·+Vn)) ≤ k for all i; such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the path-width of an F-represented matroid i...

متن کامل

Ascending Auctions and Linear Programming∗

Based on the relationship between dual variables and sealed-bid Vickrey auction payments (established by Bikhchandani and Ostroy), we consider simpler, specific formulations for various environments. For some of those formulations, we interpret primal-dual algorithms as ascending auctions implementing the Vickrey payments. We focus on three classic optimization problems: assignment, matroid, an...

متن کامل

Constructive characterizations of 3-connected matroids of path width three

A matroid M is sequential or has path width 3 if M is 3-connected and its ground set has a sequential ordering, that is, an ordering (e1, e2, . . . , en) such that ({e1, e2, . . . , ek}, {ek+1, ek+2, . . . , en}) is a 3-separation for all k in {3, 4, . . . , n − 3}. This paper proves that every sequential matroid is easily constructible from a uniform matroid of rank or corank two by a sequence...

متن کامل

Partial tracks, characterizations and recognition of graphs with path-width at most two

Nancy G. Kinnersley and Michael A. Langston has determined [3] the excluded minors for the class of graphs with path-width at most two. Here we give a simpler presentation of their result. This also leads us to a new characterization, and a linear time recognition algorithm for graphs width path-width at most two. 1 History and introduction Based on the seminal work of Seymour and Robertson [4]...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1605.09520  شماره 

صفحات  -

تاریخ انتشار 2016